Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
781	THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo Add to Reading List Source URL: www.eiffel-nice.org Language: English - Date: 2014-10-22 11:03:56 Logic in computer science Object-oriented programming Eiffel Subroutines Postcondition Precondition Assertion Parameter Operating system Software engineering Computer programming Computing
782	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
783	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
784	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
785	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
786	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
787	ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C programming language C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
788	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
789	1 Securing Class Initialization in Java-like Languages Willard Rafnsson, Keiko Nakata, and Andrei Sabelfeld Abstract—Language-based information-flow security is concerned with specifying and enforcing security policie Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-08-22 04:05:38 C programming language Deduction Java programming language Initialization Final Objective-C Entailment Struct Data-flow analysis Software engineering Computer programming Logic
790	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings

UPDATE